Minor updates to definitions