(Website) Tarball name mismatch in Debian compilation instructions

In http://superkb.org/installation/debian.html:

Instructions to download file in step 1 gets the file v0.23.tar.gz while step 2 instructs to unpack superkb-0.23.tar.gz