fix build, spotted by @samoht