Removed reference to Redis Length encoding in timestamp encoding