Fixes #223: one more test to check