Added Debian Wheezy 7.3.0 box and fixed some indentation issues