minor fix in tex setting for OS X