Fix boolsim format page