yet another bugfix
0.4.2