small tweaks; fixed bug in texorate