style fix, fixes #552.