Finally correct PHP switch indents