another bug fixed for #39