Fix compile error introduced in previous commit