Double-check my understanding of PHP overloading, and then fix it.