fix some code formatting problems (it is terrible in this file). Add a comment.