NoPrior returns Inf variance, instead of 0.0; added missing header for Travis