Ronnie O'Sullivan happily laughs for Ding Junhui