Just cosmetics (stripping some blank lines)