misc
misc
improvement of the specification