comments, minor formatting tweak