Minor v2.4.1 release

2018-02-11

A small bugfixing release was publishing, fixing some minor issues present in 2.4.0 and earlier versions. See Downloads for details.