Re: [PATCH 4/4] Don't do several times the same thing