Fixing mistake in header