It seems I de-indented the line by 1 character without noticing! Sorry about that!