Fix some minor details, updated docs