Add small correction to executable name and version number