[pacman-dev] A minor issue