Issue #16: removeExtension