Minor change, mainly fixing comments