make javadoc for zip() variants more precise (#1858)