correct file, with minor formatting tweaks in code