Update toque spec and README.
Fix toque spec.