Adding header to posterior provided by Mike.