Follow last commit: Fix PHP warning.