Fix `][` to include EOF