fix #145;