Issue #16: setExtension