fix mistake in types