Removing an outdated FIXME. No functional changes.