fixes #55; merry christmas!