revise spec and document