fix int counter
watchdoc