removed outdated FIXME