clean up texdown code