Make the specs and docs more correct.