Fixed a FIXME a long time ago.