@dbu: this line was missing in your test