Fix a foolish PHP typo

Closes #451.