Double extensions, fixes #18