Tiny commit to fix #14