fixing a micro typo