Style fix for #28.