Fix debug instruction which shouldn't have been commited

(this commit will be merged with the previous one when rebasing)