corrections before Erlangen