Astron: it's safe to guess what this commit fixes