Further improve the specification