[Lab01]: Minor changes.