Removed mistaken FIXME