Thanks for clarifying. You accidentally deleted the pier in your edit, so I’ve added it back in https://www.openstreetmap.org/changeset/162251937. Let me know if anything looks wrong with what I’ve done :)