Minor debugging on implementation