minor: debugging