Clarify example of optional attributes of `a`

This closes #13.