Oops, forgot to remove a file in the last commit..