fix #18 accidentally inlined...