Fix misleading indentation and remove useless (do ...)

Noticed my mistake right away in the morning...