minor layouting fixup that I just noticed while preparing a presentation :-)