Fix copy & paste mistake in TODO example