Revise specs for readability