Added some code that was missed in the last push