changes to explorer spec