Tidy

Signed-off-by: Gawain Lynch <gawain.lynch@gmail.com>