Fix build for #63