minor clean up (#31)