Agreed. For reference purposes, PHB p.283 semantically denotes a singular ally: "You can end your movement in an ally’s square only if the ally is prone."(look at the plurality of the words used). That's sufficient RAW for me, and passes the Infinite Oregano test.
By strict RAW, you can end your movement in a square with one prone ally, but not necessarily two. Previously discussed here.