diff --git a/lisa/lisa-analyses/src/main/java/it/unive/lisa/analysis/numeric/Pentagon.java b/lisa/lisa-analyses/src/main/java/it/unive/lisa/analysis/numeric/Pentagon.java
index e984702e5..aa0bea437 100644
--- a/lisa/lisa-analyses/src/main/java/it/unive/lisa/analysis/numeric/Pentagon.java
+++ b/lisa/lisa-analyses/src/main/java/it/unive/lisa/analysis/numeric/Pentagon.java
@@ -31,19 +31,19 @@
import org.apache.commons.collections4.CollectionUtils;
/**
- * The pentagons abstract domain, a weakly relational numeric abstract domain.
- * This abstract domain captures properties of the form of x \in [a, b] ∧ x
- * < y. It is more precise than the well known interval domain, but it is
- * less precise than the octagon domain. It is implemented as a
+ * /** The pentagons abstract domain, a weakly relational numeric abstract
+ * domain. This abstract domain captures properties of the form of x \in [a, b]
+ * ∧ x < y. It is more precise than the well known interval domain, but
+ * it is less precise than the octagon domain. It is implemented as a
* {@link ValueDomain}.
*
+ * @author Luca Negrini
+ * @author Vincenzo Arceri
+ *
* @see Pentagons:
* A weakly relational abstract domain for the efficient validation of
* array accesses
- *
- * @author Luca Negrini
- * @author Vincenzo Arceri
*/
public class Pentagon implements ValueDomain, BaseLattice {