Fix oversight in 3752b3f59d5216d7dc6221a361efc76b9ad2273d