NOBUG: Trivial whitespace fix to quickly fix ongoing CI status.