Undecidability of a weak version of MSO+U (Logical Methods in Computer Science, 2020)