Forgot to add several declarations