Fix sloppiness in SDP docs