(maybe) fix #5