Fix #132 QED --> Q.E.D.