Okay, I didn't expect that could even happen. This looks like an issue with Vespucci to me. It shouldn't be possible to merge two incompatible ways and usually that's the case. If they forgot some parts of the check, we should maybe do a bug report.