An actual solution to #16