fix #6, for now