Removed a tiny bug