Fix small syntax error in PHP annotation example