Minor bug fix to Ymb