fix a typo
clean up SAT.PBO module a bit