minor fixes, already part of v0.4.2