remove FIXME that was already fixed