Minor change to a comment ... not important