Fix stuff in the overview #5.