Fixing an error in REST spec.