fix build reported by <simonhbrock>