Use a default-constructed IndexSpaceRegistry instead of nullptr

[Krzmbrzl]

The docs claim that this was already the case, but the implementation used a default constructed pointer (which is nullptr) instead of a pointer to a default-constructed registry.