Fix bugs

Fix 'NotAt' transformation