Notation fix dS+ -> dS