You are totally correct. I just copied it from the Tom's Hardware article[1] about the project where this error appears to have existed at some point in time (it still appears in the cache of my RSS reader[2]).

[1]https://www.tomshardware.com/news/risc-v-laptop-easy-to-buil... [2]https://imgur.com/a/dPgMLYm