Fix other comment as followup of #18 as well.