HOPKINS: Fix glitch occurring in the intro of the Linux Demo.

Thanks greencis for reporting it