minor, debugging