Yes it definitely sounds like the coastline should be adjusted here. In fact it should be positioned at the average high tide line. See Tag:natural=coastline - OpenStreetMap Wiki