fix #51;