Fix indent

(trivial)