Ok, fixes #3