fix missing alert box

See comment over there: https://github.com/zrho/afp/commit/9f684ac385ad61b59d91df9b2b6529ffbc2cb96f#commitcomment-5595955