Fix a compile time error