restore FIXME comment