Yihui's workaround added