Added new test case on stdmp(); made minor/trivial adjustments