minor tweaks, formatting fix