A style fix following #88