Isn't the addition more appropriate under the `distribution` heading?