minor fixes for #74