some formatting tweaks