minor changes for compilation