minor cleanup of Hyperctl#disable