BSZRVKDistribution: fix bug