Fix a bit of type in the registry section