Version 0.7.6, fixes #45