fixing mistake in Notation section