diff --git a/AUTHORS b/AUTHORS
index e7c4070a..c8a293ee 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -11,3 +11,4 @@ Seth Alves
 Aric Belsito
 Mark Meyer
 Vasilij Schneidermann
+Petr Pražák
diff --git a/CHANGELOG.md b/CHANGELOG.md
index 1cf4e344..d34afae2 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -9,9 +9,6 @@ Bug Fixes
 - Handle the following edge case from R7RS:
 
   > If `z` is a complex number, then `(real? z)` is true if and only if `(zero? (imag-part z))` is true. 
-  
-  
-TBD: If `x` is an inexact real number, then `(integer? x)` is true if and only if `(= x (round x))`.
 
 ## 0.9.8 - February 16, 2019