Fixed SFC code generation bug detected by Mario

2015-02-24, Edouard Tisserant