Mikael glsp tweaks