Bug in motivating example

The motivating example for the normalization lecture misses an application.