Revision 90fa30920403768200d677d92c4000d22c4cab5a

Committed on 27/01/2015 3:34 am by Arne <[email protected]> [GitHub Diff]

Minor adjustments