workaround on a strange bug, added FIXME