syntax: python expansion (${@...}) inside shell functions

Python expansions inside shell functions completely broke syntax highlighting for that function...