Fix #15: Locking the same identifier in the console more than once causes an exception