Instead of bumping pos, can't you just do this:

```
  return documentation + "\n" + readComment();
```