Fixed formulation in siptrace's readme