correct formulation of GP prior