latex tweaks...