Fix bug introduced in bc93d94