don't know how but fixes #2