some boring corrections