housekeeping

Signed-off-by: degrigis <degrigis@gmail.com>