Committed this change in ab643cd63402ef8ed4776faebc0ed4f00b933e1d because @apollo13 also stumbled on it.