Bug in bounded reading