A Pennsylvania man has filed a challenge to a Florida law that has kept him on a sexual-offender registry after a 10-day family vacation to Disney World in 2015.

The man, identified in court documents as John Doe, reported to the Orange County Sheriff’s Office when he came to Florida because he was on a Pennsylvania registry at the time as a result of a child-pornography conviction in 2002. Doe was removed from the Pennsylvania registry in 2016 but has remained registered as a sex offender in Florida, according to a lawsuit filed last week in Leon County circuit court.