Another bug in "Distribution Definition Reference"?