update documentation string of stan-mode