Fix GNU indent bugs, suggested by Bruno.