Mess with documentation for `empty`