fix stan-dev/stan issue #205