Fix bug in #5