more space in footer (essentially fixes #273).