Minor fix which was pointed out by navaismo