Minor changes: see Changelog under v0.4.2 for details.