small work-around