more editing of spec doc