fixes #1244 small docs issue

fixes #1244