Fix stuff in the overview #4.