Fix: PHP warning.

Fixes #12.