Workaround WebKit/Blink bug when accessing the TeX annotation. #24