hw7/: fixes