Fix breakage introduced in 9dc1a94f