Pederson bruised but OK after HR-robbing catch