diff --git a/src/lib.rs b/src/lib.rs
index 69a283e67..541cb66db 100644
--- a/src/lib.rs
+++ b/src/lib.rs
@@ -66,7 +66,7 @@
 #![deny(missing_docs)]
 #![no_std]
 #![cfg_attr(
-    all(feature = "std", target_env = "sgx", target_vendor = "fortanix"),
+    all(target_env = "sgx", target_vendor = "fortanix"),
     feature(sgx_platform)
 )]
 #![allow(bare_trait_objects)] // TODO: remove when updating to 2018 edition
diff --git a/src/print.rs b/src/print.rs
index ce26f962e..abaa8f738 100644
--- a/src/print.rs
+++ b/src/print.rs
@@ -185,6 +185,8 @@ impl BacktraceFrameFmt<'_, '_, '_> {
         filename: Option<BytesOrWideString>,
         lineno: Option<u32>,
     ) -> fmt::Result {
+        let mut print_frame_ip = PrintFmt::Full == self.fmt.format;
+
         // No need to print "null" frames, it basically just means that the
         // system backtrace was a bit eager to trace back super far.
         if let PrintFmt::Short = self.fmt.format {
@@ -196,10 +198,11 @@ impl BacktraceFrameFmt<'_, '_, '_> {
         // To reduce TCB size in Sgx enclave, we do not want to implement symbol
         // resolution functionality.  Rather, we can print the offset of the
         // address here, which could be later mapped to correct function.
-        #[cfg(all(feature = "std", target_env = "sgx", target_vendor = "fortanix"))]
+        #[cfg(all(target_env = "sgx", target_vendor = "fortanix"))]
         {
             let image_base = std::os::fortanix_sgx::mem::image_base();
             frame_ip = usize::wrapping_sub(frame_ip as usize, image_base as _) as _;
+            print_frame_ip = true;
         }
 
         // Print the index of the frame as well as the optional instruction
@@ -207,12 +210,12 @@ impl BacktraceFrameFmt<'_, '_, '_> {
         // though we just print appropriate whitespace.
         if self.symbol_index == 0 {
             write!(self.fmt.fmt, "{:4}: ", self.fmt.frame_index)?;
-            if let PrintFmt::Full = self.fmt.format {
+            if print_frame_ip {
                 write!(self.fmt.fmt, "{:1$?} - ", frame_ip, HEX_WIDTH)?;
             }
         } else {
             write!(self.fmt.fmt, "      ")?;
-            if let PrintFmt::Full = self.fmt.format {
+            if print_frame_ip {
                 write!(self.fmt.fmt, "{:1$}", "", HEX_WIDTH + 3)?;
             }
         }
@@ -220,6 +223,7 @@ impl BacktraceFrameFmt<'_, '_, '_> {
         // Next up write out the symbol name, using the alternate formatting for
         // more information if we're a full backtrace. Here we also handle
         // symbols which don't have a name,
+        #[cfg(not(all(target_env = "sgx", target_vendor = "fortanix")))]
         match (symbol_name, &self.fmt.format) {
             (Some(name), PrintFmt::Short) => write!(self.fmt.fmt, "{:#}", name)?,
             (Some(name), PrintFmt::Full) => write!(self.fmt.fmt, "{}", name)?,