diagnostics now checks format identifiers.