Fixes #44: correct footer text.