corrections to certain definitions