Small fixups for presentation