Fix mistake in commit fb6fea9