fixes #40.