small tweaks to Instrument docs