really fixes #3