bottom->nothing in tests
new test for #470