Small fix in verify method + javadoc