small update (fixes #3)