Minor fix not even worth mentioning