Fixed something in Ubuntu installation instructions.