Test cases that show that Github issue #7 cannot be reproduced.