#1234 small doc fix