Add a few more definitions