(some) theme settings won't save

I'm having some trouble saving settings in my gridmarket theme. More precisely the "type of header" and the "show shop picker" options. Furthermore, the welcome message won't go away after I save. I'm using version 1.4.8.