fix compilation error introduced in previous commit