Fixes PR#20