Tutorial 12: small changes