Fix bug introduced in 905dca6