fixed some documentation in `add' (hw5)