tex-witer added
miner correction