Style and define corrections from Karl