simple but efficient patch fixes #75