oops. fixes two compilation errors that came with previous commit