In such cases, feel free to leave the way as it is. The current data is sufficient. On relatively rare occasions the tag cycleway=no is used, but in this case everything is self-explanatory to other OpenStreetMap users, in my opinion. Thanks for your edits! 