improved the specification a bit