fix build errors introduced in last commit