Small error fix (php5.5.10).