Now that you've seen the problem, you can call them Phil, too.

Converted from groff by Ted Faber
Please mail me any problems or comments.