this is embarrassing: turns out cb7e77d750f5cf45c9d082a8b52216018dda13cd
had no effect at all because I was being careless