readline always returns a string, so do a cast.