Yes, Dwight, that understanding is correct.  When we get to the point of using "first sets" to get LL style performance, these will happen all the time because there will be an analysis that adds those.  I am not sure if there is a current K grammar that has this problem.  (Thus why I say we don't necessarily need to fix this now, but it does eventually need to change to the correct solution.)