  The existence of valuation domains admitting non-standard uniserial modules
for which certain Exts do not vanish was proved under Jensen's Diamond
Principle. In this note, the same is verified using the ZFC axioms alone.
