[galaxy-dev] Error in requests_admin.py

Hi again, I think I found another error. After I solved the last issue, I got an error in line 568 of GALAXY_ROOT/lib/galaxy/web/controllers/requests_admin.py. I think the line should be if option == options.EXPERIMENT_NAME: Can somebody confirm this? Best regards, Sarah