Merge pull request #2645 from martin-frbg/misc_fixes
authorMartin Kroeker <martin@ruby.chemie.uni-freiburg.de>
Sun, 7 Jun 2020 17:44:50 +0000 (19:44 +0200)
committerGitHub <noreply@github.com>
Sun, 7 Jun 2020 17:44:50 +0000 (19:44 +0200)
Miscellaneous fixes


Trivial merge