Title: Test for defect T7.129