just a few minor internal bugfixes
This tag has no release notes.