Push 0.74, fixes #1