Fix a cosmetic bug introduced in the last commit