Fix style

Fix for #9acd20e3af2ecb003c1a98c5f72f345a8747c2bf