probably fixes second part of https://github.com/zrho/afp/issues/145

... not tested though (not my job, after all)