Minor corrections to pins and debugging