Last minute bugfix for release 0.4.5.