small build fix for previous commit