fix #15: simple detail