more fixes to lab13