removed unecessary ::: in mono.check