Fixed with revision 720a0d94c01626d6f086feb47793d863d8bb5573.
