Bugfix for reloading extensions.