but fixes #1