fixed notation error in mstarFn