Minor improvements on installation page (en)