Maybe fix #6