bug was indeed fixed, added comment