Commit 38de020c authored by Dominik Hebeler's avatar Dominik Hebeler

fixed a typo

parent 2735db46