bug fix for example