tiny fix in lab3.pl