Minor fixes in the installation page (ja)