Fix for flycheck

This is related to #300, #302.