docu fix (removed dangling "times." introduced by 22afc074a96d27b5462d335e22da893570bf7e87)
Merge pull request #3257 from jakoch/patch-docufix

docu fix (removed dangling "times.")