Removed manydots-magic (caused problems)