[fixes #29]