Remove a pair of obsolete FIXMEs