another tiny fixup