Style: removed some superfluous whitespace.