Fix javadoc of Logic.delete