fixed a mistake in the map function, ConsF compiles now