Changed naming-mistake in previous commit