small fix for 0.5.15