more tweaking of instruction doc format