Fixes in Lab4, Lab6. Lab7 added