typo fix

Signed-off-by: Maximilian Güntner <maximilian.guentner@gmail.com>