Refine 9c7ab101cf5261db3ef6160c0aa1906ffcce188b: Don't print extensions .. too much