Small change to fix #64