fix documentation

fixes #432