small style cleanup for rpcmining.cpp