add ;;; to the header
make version numeric