Fix `readLine` bug by shadowing with a proper implementation