fixes #529

doc fix