PTRACE HARDENING: last style tweak and typo fix.