(doc) 'debian-wheezy' was left out of the OS options