small cleanup on px3Body