Fix AcraBug