HOTFIX: Fixing style error introduced by 08d0ac