Bugfixing for opformintro