add fixme note about bug that is caused by a bad assumption