Fixed manual page badge size issue