fixed compilation error provided by myself in previous commit