oops, fix build broken by previous patch
1 file changed