Compile time error

Fixes compile time error that had not been noticed.