Trying again fixes #3