Version info

This was uncommitted because of an error (probably my accident or a
technical error of GitHub)