fix compilation errors due to previous commit