Fix indent

See #1261