fix build (sorry, forgot to push with previous patch)