Fix a duplication in error codes