NOVAD: Remove a debug cout