diff --git a/npa/doc/README.txt.in b/npa/doc/README.txt.in
index 7e44559..f07d105 100644
--- a/npa/doc/README.txt.in
+++ b/npa/doc/README.txt.in
@@ -23,6 +23,7 @@
         GPL version 3
     :Tested Platforms:
         - Windows
+        - Mac OS X
         - Linux (Debian, Ubuntu, OpenMoko)
 
 The @PACKAGE_NAME@ offers an easy to use API for the new German identity card
diff --git a/virtualsmartcard/doc/README.txt.in b/virtualsmartcard/doc/README.txt.in
index fe7ed57..a6630df 100644
--- a/virtualsmartcard/doc/README.txt.in
+++ b/virtualsmartcard/doc/README.txt.in
@@ -24,8 +24,9 @@
   :License:
       GPL version 3
   :Tested Platforms:
-      - Linux (Debian, Ubuntu, OpenMoko)
       - Windows
+      - Mac OS X
+      - Linux (Debian, Ubuntu, OpenMoko)
 
 @PACKAGE_NAME@ emulates a smart card and makes it accessible through PC/SC.
 Currently the @PACKAGE_NAME@ supports the following types of smart cards:
@@ -38,7 +39,7 @@ Currently the @PACKAGE_NAME@ supports the following types of smart cards:
 The |vpcd| is a smart card reader driver for PCSC-Lite_ and the windows smart
 card service. It allows smart card applications to access the |vpicc| through
 the PC/SC API.  By default |vpcd| opens slots for communication with multiple
-|vpicc|'s on localhost from port 35963 to port 35972. But the |vpicc| does not
+|vpicc|'s on localhost on port 35963 and port 35964. But the |vpicc| does not
 need to run on the same machine as the |vpcd|, they can connect over the
 internet for example.