Fix for compile error due to a bad header