Upper bounds for #63 (fixes #64)