minor changes
Version 1.12.0, Revision 3
Merge branch 'dev'