Fixed more system-dependent details in Lab 10.