Fix version information in the docs (was still 1.4.1dev instead of 1.4.1)