Tiny fixups