Yeah, that's basically a predefined end-of-year bonus consisting of an extra month worth of salary. Some companies even talk of a '13th and 14th month' to indicate a 2-month bonus. It's kind of silly, but for some reason it has become common parlance.