A couple of tests to help fixing a certain bug