FIX: Bug in synthesis when using options other than 's'