Doc update

Update of #16.