#144: Bob to the rescue

#144: Bob to the rescue