Minor bug fix to compile with DEBUG