more minor styling tweaks

Signed-off-by: William Rockwood <wrockwood@tadl.org>