Fix bug introduced in 767dce0a