more small corrections