bugfix php syntax