Fix bug introduced in #51