various corrections