Fixes bug introduced by the last commit

I'm sorry about this.