Bug fix: this is a double