Awesome, thanks! That bumps dot up above `|`, which makes the exposition even easier :-)