Update documentation (final version, ready to hand in)