some subtle astyanax fix