fix compilation error in previous commit