Fixing typo / bug in implicit.cpp