Bugfix in topmem