Style fix for #23