Minor additions to Deutsch_Tutorial3