Astron: nitpick