Issue #2395697: extra whitespace