doc fix, fixes #3178