Fix error made in 7a7951565be