diff --git a/src/header/ifaddrs/mod.rs b/src/header/ifaddrs/mod.rs
index f49a357358..6ff5aa4bf9 100644
--- a/src/header/ifaddrs/mod.rs
+++ b/src/header/ifaddrs/mod.rs
@@ -1,10 +1,15 @@
-//! `ifaddrs.h` implementation
+//! `ifaddrs.h` implementation.
+//!
+//! Non-POSIX, see <https://www.man7.org/linux/man-pages/man3/getifaddrs.3.html>.
 
 use core::ptr;
 
 use crate::{
     header::{errno, stdlib, sys_socket::sockaddr},
-    platform::{self, types::*},
+    platform::{
+        self,
+        types::{c_char, c_int, c_uint, c_void},
+    },
 };
 
 #[repr(C)]
diff --git a/src/header/sys_ptrace/mod.rs b/src/header/sys_ptrace/mod.rs
index 6767789d70..a8ca37ca38 100644
--- a/src/header/sys_ptrace/mod.rs
+++ b/src/header/sys_ptrace/mod.rs
@@ -1,8 +1,10 @@
-//! ptrace compatibility layer for Redox OS
+//! `ptrace.h` implementation.
+//!
+//! Non-POSIX, see <https://www.man7.org/linux/man-pages/man2/ptrace.2.html>.
 
 use crate::{
     error::ResultExt,
-    platform::{PalPtrace, Sys, types::*},
+    platform::{PalPtrace, Sys, types::c_int},
 };
 use core::ffi::VaList;