small additions to workshop doc