tiny fixups