This was already fixed by ticket 5418.