Fix for printing hello world