Correct use of @extend