Added \setminornumber command.