Clean up the specification