Test: see #8