Fixed silly bug in receiveMessageTimeout that basically meant the caller *always* waits.  Also tidied up some of the documentation.