tiny fix #1