bugfix: jQuery syntax error was causing problems in Firefox (but not chrome)
Merge branch 'devel' into filter_crisprs