Fixes a bug in f1bfc261a8534b8443070816b983bf5b6d6369b7