Fix name disallowed by compiler