Added another missing `(provide ...)` statement.