Restoring whitespace that was trimmed accidentally