Minor changes to spec