Fix rename of global option