partially solves https://github.com/KWARC/Sally/issues/15