In a story April 16 about a lawsuit filed by a man secretly recorded by police while receiving a massage, The Associated Press reported erroneously one of the government agencies being sued. The lawsuit is against the Palm Beach County State Attorney's Office, not the Palm Beach County Sheriff's Office.

A corrected version of the story is below:

Man filmed getting massage at Florida spa files lawsuit

A Florida man is claiming his constitutional rights were violated when his massage at a day spa was secretly recorded during an investigation into human trafficking

WEST PALM BEACH, Fla. (AP) — A Florida man is claiming his constitutional rights were violated when his massage at a day spa was secretly recorded during an investigation into human trafficking.

In the federal lawsuit recently filed by a man identified as "John Doe," the man says police were "spying" on him while he was in a "state of undress" during a massage at Jupiter's Orchids of Asia Day Spa.

The man isn't among those charged with solicitation of prostitution in connection with the case. New England Patriots owner Robert Kraft has pleaded not guilty to two counts of solicitation.

The lawsuit says the man "did not engage in any sexual or illegal activity." The lawsuit asks for an unspecified amount of damages and names Jupiter police and the Palm Beach County State Attorney's Office.