Fix bug introduced in c209b1ee