proper typing of Locations