fix compilation issue with previous change