Fixing newly introduced typo

With the last commit I introduced a typo. This commit fixes it again. Sorry for that.