bug fixed for #4