2 examples and test case for bug #439 (merged in #440)