fixed silly mistake in manin_map