Slight fix for #13