- minor fixes for compilation