Minor formatting fix for SDPT3