minor formatting fixups