quick bug fix after push