GDB-7.8: small style fix