Oh, in that case the strange indenting also makes sense. Never seen this idiom before ;-)