This is yet another bugfix release of the stable branch. Most of the issues stemmed from typos or other oversights. Yet, some had quite strong impact under certain circumstances.