dottedmag and bbatsov Fix a typo (#2437 )

Latest commit 0359a39

Sep 5, 2018