Minor comment cleanup, see #115.