Minor improvements and bug fixes

This release is mainly about minor improvements (though useful and important) and bug fixes. See changes.txt in the code folder for details.