Version 2.5.47; fix an indentation glitch after '('.