fix for Bioc 2.13 users