Specs for RestService corrected; completes #9