Add documentation for the `size` function and get rid of another `($)`.