trivial commit on Astyanax stuff