various updates mar 27

A few small updates to the BOOSTIO branch. Please merge promptly.