Update to latest Pedant