Fix for version number not printed correctly