Minor changes to GenServer examples