Fixing up the SAT stuff so it matches the rest of the templates too

Signed-off-by: Kenneth Lim <kenlimmj@gmail.com>