Fix a compilation error #66