Diff spice-0.15.1-r1 with a spice-0.15.2

Thank you!