Make augeas happier