Fix version number in footer as reported in #480