Add an additional assertion and a pointer to the bug.