add `@EnableWebMvc` annotation to demonstrate broken hal output