Version mismatch between promoted on website and in info file

When downloading the latest version of atjs from https://www.drupal.org/project/atjs → which is promoted with

7.x-1.x-dev tar.gz (20.62 KB) | zip (23.99 KB) 2016-Apr-20

I get a file with the name atjs-7.x-1.x-dev.tar.gz. The atjs.info file states the following

; Information added by Drupal.org packaging script on 2016-04-20
version = "7.x-1.0-alpha1+15-dev"
core = "7.x"
project = "atjs"
datestamp = "1461153846"

This is quite annoying because drupal keeps telling me that updates are available but I cannot download atjs 7.x-1.x-dev.

Please fix it.