Revert "Remove Travis-CI note as the problem seems to be fixed"

This reverts commit 6d7994d0ced8bc0dc8c6dc532f6a5654729a05a6.