On obvious strategy-proofness and single-peakedness