Re: [pacman-dev] [patch] Very small bug(?)fix