Galaxy Entertainment Group Ltd. announced last Friday that it is giving a little something extra to a large percentage of its non-management staff. The company said that it will give a “one-off special discretionary bonus” to about 97% of the employees, all of whom hold positions of senior manager or lower. The exact number of employees that would receive the bonus, however, was not mentioned.

The bonus will be equal to one month’s base salary. Where applicable, guaranteed tips will also be included. Galaxy intends on making the payments on August 13 and those qualified employees who joined the company on or after August 2 last year will have their bonuses calculated on a pro-rate basis.

According to Galaxy, “This one-off special discretionary payment is made in special consideration of market competitiveness and the company’s satisfactory business performance in 2018.” Galaxy saw its first-quarter EBITDA (earnings before interest, taxation, depreciation and amortization) increase by 36%, reaching $548 million.

However, Galaxy executives may not necessarily be motivated simply by the increased performance. A labor activist group said last week that it was organizing a petition by Galaxy staff to push for a summer bonus. The petition was drafted over concerns by Galaxy employees that they would not receive their annual bonuses this year.