[__init__] Version number to 4.0.1