[fixes #18]