PHPTidy bug report for switches