Re: [PATCH] Minor fix for for share/{Makefile,format.pl}