Correcting some bugs found on readStr