Correct a compilation error #88