Fix bug in handling of spacetoken restrictions