On Strategy-proofness and symmetric single-peakedness