Oops, I didn't realize that. I've pushed a commit which moves them to their correct place.