GSL: small style change