fixed compilation errors, not sure why these lines survived yesterday