(minor) whitespace.
Reduce code size.
Even shorter code.