fixes#6