check.txt added for convenience