[Lab01]: Fix.