now _proper_ tagging of the unstable specification