Minor update on documentation