just some formatting tweaks