Minor bug with printing version number.