a market town of Gloucestershire, fifteen miles east of Gloucester.