Patch version bump (1.4.1)

Although there was quite a bit of code changes since the last version,
the user-facing API didn't change. Therefore, I did a patch version bump
instead of a minor version bump.