minor changes

Signed-off-by: Yannick Wurm <y.wurm@qmul.ac.uk>
minor changes

Signed-off-by: Yannick Wurm <y.wurm@qmul.ac.uk>
return on one line + use badge for x

Signed-off-by: Yannick Wurm <y.wurm@qmul.ac.uk>
return on one line + use badge for x

Signed-off-by: Yannick Wurm <y.wurm@qmul.ac.uk>