Correct a compilation error #72