fixed bug: compilation error was caused by invalid list (missing comma)