Fixed up mineos plugin