Another tiny build fix