fixes#12