Mainly fixing a typo