doc fix for issue #21