Revision 7d6007750b8c925bbadd824315c29d548b779e18

Committed on 12/12/2012 3:51 am by Arne <[email protected]> [GitHub Diff]

Minor adjustments