Merged branch 'master' into branch 'gui'.