Fixed for gnome-shell 3.12
Indentation fixes.