Fixed #253

I don't think this one really deserves a release note entry, so I won't
add one ;)