Fix minor mistake in documentation examples