Fix bugs; write PreTeX Help