doRSAT: some fixes