Minor improvements, releasing 0.4.2.
Releasing 0.4.3