a few small interface changes

also fixed a compilation error under gcc