> I know that checking whether the name equals "default" is kind of hacky. > Unfortunately, this is the only thing I could come up with for now, given my > limited knowledge of jasmin. Thanks again, Christophe. I will commit this fix. Many parts of jasmin are kind of hacky, so don't worry :-) Eric