Update History to reflect patch that fixes #4