Newline at the end of bootstrap.sem