fixes#4