Addressed in 7f64dcc, and force pushed.