Fixed an annoying warning (#5)