fix syntax unsupported in older PHP versions