(Fix #4) No bugs as far as I can tell.