Minor bug fix: forgot to reset the registeredExtensionsChanged flag