code style, fixes #3140