fixes #14;