fix missing fat comma in docs
Merge branch 'typo' into devel