それまでは、同名駅が存在しても「jr」を付けていなかった。