Revisiting a Lower Bound on the Redundancy of Linear Batch Codes