Version 0.7.11, fixes #56