Removed duplicate Hello, world!