diff --git a/libsolidity/formal/Why3Translator.h b/libsolidity/formal/Why3Translator.h
index e5b168441..46601f894 100644
--- a/libsolidity/formal/Why3Translator.h
+++ b/libsolidity/formal/Why3Translator.h
@@ -36,7 +36,7 @@ class SourceUnit;
 /**
  * Simple translator from Solidity to Why3.
  *
- * @todo detect side effects in sub-expressions and limit them to one per statement.
+ * @todo detect side effects in sub-expressions and limit them to one per statement. #1043
  * @todo `x = y = z`
  * @todo implicit and explicit type conversion
  */