Forgot to remove debug messages for #30