Minor comment update, see #86.