Note a likely bug