#78: hot fix