fixed javadoc for Debug.user