Debug code. Should not be included in this PR.