Documentation

WIP: fixes up issue #3.