Got it to compile the should_receive call; still failing