fix compilation errors in previous commit