Fix a FIXME