Small fix on SAT module.