Fix coding style (doing this on core/sajson.h is a bit weird but whatever)