add doc; format code