Tiny fix #1