Yes that’s it, early units were Macintosh, without any further information. When the 512 was introduced at a higher cost, the 128k was still available… but a new badge was issued to display the difference.
at the same time, IIRC, a new logic board was also produced, with both labels 128 or 512.