Remove unneeded FIXME highlighting