fix for Strawberry 5.20