1866: Code style tweak via @sjl