// fix php warning