minor corrections to ensure that it compiles