Shell-script "done" becomes indented with pipe

[Dan Jacobson]

In recent Shell-script mode, the last line of
while :
do
    bla
done
becomes indented
    done|xxx
if one adds a pipe. I didn't check to see maybe if this is a feature.