// fix php compatibility