Additional fix for bug #20093. Forgot about whitespace.