Fixed small PHP bug