Fix a source code error