Do nothing when document is not changed, fix #13