[bash10] Fixing whitespace.