Fix php error (from previous commit)