Doc update

followup to #4