Fix typo in scheduler/execute_axbx.hpp -- Philippe will feel my pain especially!