#190: code style fixes