sync to bioc 1.3.1