Fixed stupid bug introduced by Miguel.