Is /app/basic/s Missing from Google robots.txt

Have Google made a mistake by omitting /app/basic/s Missing from the Google robots.txt

After seeing a number of Google+ search results in the organic results I noticed that Google are not blocking /app/basic/s in their robots.txt

Site search shows the potential problem

November 2, 2013

© Sim64 - 6 Granby Road, Honington, Shipston-on-Stour, Warwickshire, CV36 5AB - 01608 663759