a market town, ten miles south-west of Gloucester.