Reexamination of Bloch-Messiah reduction