janitorial: removed obsolete FIXME