Minor doc fixes

Replaces #1