Fixes silly bug in e9cf131e93ce95ddde20580aab95beb0ee30433c