bug fixes

three bug fixes/improvements, details in commit messages

Merge request reports

Loading