Minor comment cleanup, see #56.