Thanks to Lex van Roon for the bugreport and to Alexander V. Chernikov for examining it and locating the problem.