Fix minor formatting issue that causes errors in older PHP installations.