#119: fix bug caused during style fixing