A bug. Fixed.