On 18/05/2012 13:45, Volker Schmidt wrote: > > We should replace "island" with "island or obstacle" or something to > that effect. I've changed it to 'an island or a void'. -- Steve