Oops! These are also needed. I forgot them in the previous commit due to being new to git.