Very minor code change to make debugging a bit easier