fix build after #2167 fix