Remove unnecessary whitespace in PreconditionsExample