Style fix for #107.