small fixup for compilation