Precision of snapping to vertex
A simple workaround: extrude two vertices on right X. then spin 180 degrees around the center of top face, with 16 steps, then remove doubles (two vertices will be overlapping but not jointed).