It now has the asserts and a FIXME. When someone notices the problem, they'll hopefully find the offending code and its FIXME.