FYI @githubteacher: Pretty sure this change broke the build.