Add a FIXME to check_lint