added a known bug (TCSE) bug to README