Oops; those two methods are DEBUG only