fix #252