minor numbering issue related to #87