tiny housekeeping
fixes #3