A couple of small type spec fixes