fixup a warning