Version bump, and some spec updates