Documented two nasty bugs