Minor comment improvement, see #56.