#78: style fix