Fix a compililation error #9