In fact it's shameless copy-paste from the code above the line (see lines 195-201). I am with you on that, fixing