PTRACE HARDENING: style tweaks.