three weeks old bug... FIXED!
added test problem file