bugfix example
fix CHECK problems