minor changes to help compilation
minor changes to help compilation