formatting fix for #18