fixes #17. fixes #15.