[fixes #20]