TODO: document some bug numbers