Fix PPA name in the Ubuntu installation instructions.