Get rid of FIXME since it had been fixed.