make semantic_errors work with bootstrap3