Found some bugs while writing the intro.