Fixes claroline/Claroline#613