clerical error #566

Merged
merged 1 commit into from Dec 9, 2015