some a+ 1.1 spec fixes.