fix build, was broken by #175