s/\\mixed[]/mixed[] as of @staabm's suggestion