Fix build break introduced in 15e08e26807d613b66a