Missing bracket in frdoc tex snippet