fix build error introduced in last commit