Fixed tiny mistake in pretty