Fixed small bug in hotfix system